1. Categories for types
پدیدآورنده : Crole, Roy L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Categories )Mathematics(,، Lambda, Calculus
رده :
QA
169
.
C685
1993
2. Categories for types
پدیدآورنده : Crole, Roy L
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Categories )Mathematics(,، Lambda calculus
رده :
QA
169
.
C685
1993
3. Logic Colloquium '82 :
پدیدآورنده : edited by G. Lolli, G. Longo, and A. Marcja
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
رده :
QA9
.
7
.
L64
1982